Functional Safety of Distributed Embedded Control Systems
نویسندگان
چکیده
This chapter deals with the functional safety of distributed embedded control systems following the component-based approach. The authors define a new concept of components called “Control Component” (CC) to cover all of the used technologies in industry. To guarantee the functional safety of distributed control software components, the authors define an agent-based architecture where an intelligent software agent is deployed in a device of the execution environment in order to apply local reconfiguration scenarios, and a coordination agent is used for inter-devices coordination in order to allow coherent reconfigurations. DOI: 10.4018/978-1-4666-0294-6.ch006
منابع مشابه
Distributed Computing for Functional Safety of Automotive Embedded Systems
The architectures of modern automobiles are heterogeneous distributed integrated architectures that integrate multiple heterogeneous processing units and network buses with a central gateway. Modern automotive embedded systems combine the related characteristics of real-time, cyber-physical, mixed-criticality, and heterogeneous distributed systems; moreover, such systems must meet specific func...
متن کاملApplication Development for Safety Critical Distributed Embedded Systems with Model Verification
The increasing use of distributed applications in real-time and safety critical embedded systems results in the need for functional and non-functional system verification in the design process. This paper proposes model verification as solution to identify concept ional design failures in advance, and to verify model correctness in an abstract level. With an extension to classical model checkin...
متن کاملEnhanced Compositional Safety Analysis for Distributed Embedded Systems using LTS Equivalence
Real-time systems such as aeronautic systems, medical systems, and nuclear power plant systems are generally operated in a standalone mode. In the home network and ubiquitous computing systems, integrated services related with several embedded systems are focused, which is called distributed embedded systems. Safety issues of distributed embedded systems are very important since they are closel...
متن کاملSimulation Tool for Functional Verification of Ttp/c–based Systems
This article describes a software tool that implements Clanguage written simulation model of distributed embedded computer system that is interconnected by means of TTP/C protocol. The aim of simulation is to evaluate specified system’s properties when used as a safety critical control system. The method that uses simulated faults to disturb system’s activity was developed during the solution o...
متن کاملReliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation
Safety-critical systems are often controlled by embedded computer systems. Their design is challenging because of the risks connected with the unknown impact of system architecture on non-functional properties such as reliability and real-time capabilities. Model-based evaluation can help to select advantageous design alternatives. This paper proposes the modeling of technical system behavior w...
متن کامل